1. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
2. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
3. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
4. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995